SoftFlow: A Middlebox Architecture for Open vSwitch Ethan J. Jackson, University of California, Berkeley; Melvin Walls, Penn State Harrisburg and University of California, Berkeley; Aurojit Panda, University of Californi

Source URL: www.usenix.org

• Computing
• Information and communications technology
• Computer network security
• Data transmission
• Network architecture
• Computer networking
• Internet architecture
• Networking hardware
• OpenFlow
• Open vSwitch
• Middlebox
• Forwarding information base

Int. J. of Intelligent Engineering Informatics, Vol. x, No. x, 1–26 Numerical Program Optimization by Automatic Improvement of the Accuracy of Computations Nasrine Damouche* and Matthieu Martel Universit´e de Perpign

Source URL: perso.univ-perp.fr

• Functions and mappings
• Mathematical analysis
• Mathematics
• Computer arithmetic
• Limit of a function
• Abstract interpretation
• Unit in the last place
• Exponentiation
• Integral
• Lambda calculus
• Quantifier
• Combinatory logic

Trading Bitcoin and Online Time Series Prediction Muhammad J Amjad Operations Research Center

Source URL: devavrat.mit.edu

• Economy
• Statistical theory
• Time series models
• Probability and statistics
• Machine learning
• Alternative currencies
• Cryptocurrencies
• Digital currencies
• BoxJenkins method
• Forecasting
• Bitcoin
• Cross-validation

Executable Counterexamples in Software Model Checking J. Gennari1 and A. Gurfinkel2 and T. Kahsai3 and J. A. Navas4 and E. J. Schwartz1 Presenter: Natarajan Shankar4 1 Carnegie

Source URL: seahorn.github.io

• Computing
• Computer programming
• C
• Data types
• Pointer
• Hooking
• Exec
• Nm
• Struct

CONFÉRENCE EN L’HONNEUR de François Loeser Organisée par A. Douai, J. Nicaise, F. Orgogozo et J. Sebag

Source URL: fl60.sciencesconf.org

October 12, 2018 VIA UPS and Electronic Mail Mr. J. Christopher Prue, R.Ph. MBA Vice President, Product Regulatory Science Fontem U.S. IncSouth Tyron Street, Suite 350

Source URL: www.fda.gov

• Food and Drug Administration
• Health
• Federal Food
• Drug
• and Cosmetic Act
• Center for Tobacco Products
• Regulation of tobacco by the U.S. Food and Drug Administration
• Investigator's brochure

NeuroImage–1647 Contents lists available at ScienceDirect NeuroImage j o u r n a l h o m e p a g e : w w w. e l s e v i e r. c o m / l o c a t e / y n i m g

Source URL: saxelab.mit.edu

• Brain
• Cerebrum
• Neuroscience
• Cognitive science
• Cognition
• Neuropsychology
• Theory of mind
• Amygdala
• Social cognition
• Lingual gyrus
• Attention
• Anterior cingulate cortex

A preliminary version of this paper appears in Advances in Cryptology – EUROCRYPT 2004, volume 3027 of Lecture Notes in Computer Science, C. Cachin and J. Camenisch ed., Springer-Verlag, 2004. This is the full version.

Source URL: www.neven.org

• Cryptography
• Digital signature
• Random oracle
• IP
• Ibi
• Schnorr signature

IEEE TRANSACTIONS ON COMPUTERS, VOL. ??, NO. ??, ??? A New Range-Reduction Algorithm N. Brisebarre, D. Defour, P. Kornerup, J.-M Muller and N. Revol

Source URL: perso.ens-lyon.fr

• Mathematics
• Algebra
• Abstract algebra
• Finite fields
• Field theory
• Angle
• Sine
• Factorial
• XTR
• Valuation
• Non-analytic smooth function
• Proof that is irrational

Taking proof-based verified computation a few steps closer to practicality1 Srinath Setty, Victor Vu, Nikhil Panpalia, Benjamin Braun, Andrew J. Blumberg, and Michael Walfish The University of Texas at Austin Abstract. W

Source URL: www.pepper-project.org

• Cryptography
• Randomized algorithms
• Computational complexity theory
• Mathematics
• Probabilistically checkable proof
• Complexity classes
• Interactive proof system
• IP
• NP
• Soundness
• PCP theorem
• Commitment scheme